Aquaplanet Experiments Using CAM’s Variable-Resolution Dynamical Core
نویسندگان
چکیده
منابع مشابه
Variable resolution on quasi-uniform grids: linear advection experiments
A couple of different techniques for implementing the variable resolution within numerical models of the atmosphere that use quasi-uniform grids are estimated and compared based on their merit in the simple linear advection experiments. These techniques are: grid stretching, Schmidt transforming and grid overlapping. The quasi-uniform grids are: a conformal cubic and an octagonal grid. The tech...
متن کاملExperiments on Supporting Interactive Proof Using Resolution
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be used for very different applications. This paper reports a series of experiments designed to determine whether resolution can support interactive proof as it is currently done. In particular, we present a sound and p...
متن کاملMaximum Satisfiability Using Core-Guided MaxSAT Resolution
Core-guided approaches to solving MAXSAT have proved to be effective on industrial problems. These approaches solve a MAXSAT formula by building a sequence of SAT formulas, where in each formula a greater weight of soft clauses can be relaxed. The soft clauses are relaxed via the addition of blocking variables, and the total weight of soft clauses that can be relaxed is limited by placing const...
متن کاملFast Routing Table Lookup Using CAMs
This paper investigates fast routing table lookup techniques, where the table is composed of hierarchical addresses such as those found in a national telephone network. The hierachical addresses provide important benefits in large networks; but existing fast routing table lookup technique, based on hardware such as Content Addressable Memory (CAM), work only with flat addresses. We present seve...
متن کاملBuilding Cheap and Large CAMs Using BufferHash
We show how to build cheap and large CAMs, or CLAMs, using flash memory. These CLAMs are targeted at an emerging class of networking applications that require massive indexes running into a hundred GB or more, with items been inserted, updated and looked up at a rapid rate. Examples of such applications include WAN optimizers, data de-duplication, network monitoring, and traffic analyzers. For ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Climate
سال: 2014
ISSN: 0894-8755,1520-0442
DOI: 10.1175/jcli-d-14-00004.1